faf814387a131feb28882625ca3a14a64340650c,modules/wyil/src/wyil/builders/VerificationConditionGenerator.java,VerificationConditionGenerator,translateAssert,#Location#Context#,452

Before Change


	 * @param wyalFile
	 */
	private Context translateAssert(Location<Assert> stmt, Context context) {
		Pair<Expr, Context> p = translateExpressionWithChecks(stmt.getOperand(0), context);
		Expr condition = p.first();
		context = p.second();
		//

After Change


	 * @param wyalFile
	 */
	private Context translateAssert(Location<Assert> stmt, Context context) {
		Location<?> operand = stmt.getOperand(0);
		Pair<Expr, Context> p = translateExpressionWithChecks(operand, context);
		Expr condition = p.first();
		context = p.second();